From: Keir Fraser <keir.fraser@citrix.com>
Date: Wed, 27 Aug 2008 08:44:51 +0000 (+0100)
Subject: stubdom: int32_t is provided by stdint.h, not sys/types.h
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14113^2~44
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=1cbf503b9de8bb04ecd5bc52760ee283aebd378b;p=xen.git

stubdom: int32_t is provided by stdint.h, not sys/types.h

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---

diff --git a/extras/mini-os/include/posix/dirent.h b/extras/mini-os/include/posix/dirent.h
index 56b1d67258..884b69eba6 100644
--- a/extras/mini-os/include/posix/dirent.h
+++ b/extras/mini-os/include/posix/dirent.h
@@ -1,7 +1,7 @@
 #ifndef _POSIX_DIRENT_H
 #define _POSIX_DIRENT_H
 
-#include <sys/types.h>
+#include <stdint.h>
 
 struct dirent {
         char *d_name;